Lejewski’s Axiomatization of My Theory of Deducibility (1974)
نویسندگان
چکیده
This article is a corrected reprint of K. R. Popper (1974b). Lejewski’s Axiomatization My Theory Deducibility. In: The Philosophy Karl Popper. Ed. by P. A. Schilpp. Library Living Philosophers. La Salle, Illinois: Open Court, pp. 1095–1096.
منابع مشابه
the analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولDeducibility Constraints, Equational Theory and Electronic Money
The starting point of this work is a case study (from France Télécom) of an electronic purse protocol. The goal was to prove that the protocol is secure or that there is an attack. Modeling the protocol requires algebraic properties of a fragment of arithmetic, typically containing modular exponentiation. The usual equational theories described in papers on security protocols are too weak: the ...
متن کاملproof theory and meaning: on the context of deducibility
I examine Belnap’s two criteria of existence and uniqueness for evaluating putative definitions of logical concepts in inference rules, by determining how they apply in four different examples: conjunction, the universal quantifier, the indefinite choice operator and the necessity in the modal logic s5. This illustrates the ways that definitions may be evaluated relative to a background theory ...
متن کاملAn Axiomatization of Cumulative Prospect Theory
This paper presents a method for axiomatizing a variety of models for decision making under uncertainty, including Expected Utility and Cumulative Prospect Theory. This method identifies, for each model, the situations that permit consistent inferences about the ordering of value differences. Examples of rankdependent and sign-dependent preference patterns are used to motivate the models and th...
متن کاملA synthetic axiomatization of Map Theory
This paper presents a substantially simplified axiomatization of Map Theory and proves the consistency of this axiomatization in ZFC under the assumption that there exists an inaccessible ordinal. Map Theory axiomatizes lambda calculus plus Hilbert’s epsilon operator. All theorems of ZFC set theory including the axiom of foundation are provable in Map Theory, and if one omits Hilbert’s epsilon ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Trends in logic
سال: 2022
ISSN: ['1572-6126', '2212-7313']
DOI: https://doi.org/10.1007/978-3-030-94926-6_12